Experimenting Acceleration Methods for the Validation of Infinite State Systems
نویسندگان
چکیده
In this paper, we present a generic validation tool, called FMona. We illustrate its use through the expression of iterative and abstraction methods. These methods are applied for the validation of infinite or parameterized space problems. We propose two techniques to enhance iterative methods by accelerating their convergence. These techniques are expressed in FMona and applied on some examples.
منابع مشابه
درهمتنیدگی سامانههای سهبخشی بوزونی فراتر از تقریب تک مد در چارچوب شتابدار
In this work, we generalize the entanglement of three-qbit Bosonic systems beyond the single-mode approximation when one of the observers is accelerated. For this purpose, we review the effects of acceleration on field modes and quantum states. The single-mode approximation and beyond the single-mode approximation methods are introduced. After this brief introduction, the main problem of this p...
متن کاملAccelerating Interpolants
We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexampleguided predicate abstraction with acceleration technique for computing the transitive closure of loops. CEGAAR applies acceleration to dynamically discovered looping patterns in the...
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملNumerical simulation of hull and propeller interaction in acceleration maneuver
Prediction of a ship’s trajectory during a maneuvering motion is so important. In this study, the acceleration maneuver for a twin-screw vessel is directly investigated using computational fluid dynamic (CFD) environment and unsteady RANS (Reynolds Averaged Navier-Stokes) solver. For this purpose, the self-propulsion and acceleration simulations with hull and propeller interaction for the well-...
متن کاملOPTIMIZATION OF ENDURANCE TIME ACCELERATION FUNCTIONS FOR SEISMIC ASSESSMENT OF STRUCTURES
Numerical simulation of structural response is a challenging issue in earthquake engineering and there has been remarkable progress in this area in the last decade. Endurance Time (ET) method is a new response history based analysis procedure for seismic assessment and structural design in which structures are subjected to a gradually intensifying dynamic excitation and their seismic performanc...
متن کامل